Section: New Results

Static Analyzers on the Cloud

Participants : Michael Barnett [Microsoft Research, Redmond, USA] , Mehdi Bouaziz, Francesco Logozzo [Microsoft Research, Redmond, USA] , Manuel Fähndrich [Microsoft Research, Redmond, USA] .

A cloud-based static analyzer runs as service. Clients issue analysis requests through the local network or over the internet. The analysis takes advantage of the large computation resources offered by the cloud: the underlying infrastructure ensures scaling and unlimited storage. Cloud-based analyzers may relax performance-precision trade-offs usually associated with desktop-based analyzers. More cores enable more precise and responsive analyses. More storage enables perfect caching of the analysis results, shareable among different clients, and queryable off-line. To realize these advantages, cloud-based analyzers need to be architected differently than desktop ones. In [11] , we describe our ongoing effort of moving a desktop analyzer, Clousot, into a cloud-based one, Cloudot.